linear type การใช้

These last are more accurately called non-linear types ( e . g.
However, the linear type has no restriction in one dimension, because it can roll.
A late nineteenth-century reader was, however, accustomed to more orderly and linear types of expository narration.
It is common to extend this case to closed symmetric monoidal categories by using a linear type system.
The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system.